GroebnerBasis

GroebnerBasis[{poly1,poly2,…},{x1,x2,…}] gives a list of polynomials that form a Gröbner basis for the set of polynomials polyi. 

GroebnerBasis[{poly1,poly2,…},{x1,x2,…},{y1,y2,…}] finds a Gröbner basis in which the yi have been eliminated. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.